reflexive closure of relations